current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].
['framework/derive.pl'].
['framework/printmessages.pl'].
['framework/profiles.pl'].

%findall(A,knows((A,s),_),LST1),
%findall((A,s),member(A,LST1),LST2),
%findall(A,(knows(A,M),A\=(_,_)),LST3),
%append([LST1,LST2,LST3],LST4), list_to_set(LST4,SET), assert(actorl(SET)).

%% all coalitions of actors such that no subcoalition has the same set of messages
%findall(A,knows(A,_),LSTA),
%list_to_set(LSTA,SETA),
%findall(AX,(nesub(AX,SETA),not(
% (nesub(BX,AX),BX\=AX,
%  not((member(A1,AX),knows(A1,M),not((member(B1,BX),knows(B1,M)))))
% ))),AXL),assert(axl(AXL)).

coalitions(COAS),forall(member(A,COAS),
                         (derall(A,SETM),forall(member(M,SETM),(print('der('),printt(A),print(','),printt(M),print(').\n'))))
                       ).
